منابع مشابه
Paraoxonase/MCS.
The Focus article "Double Exposure" [EHP 107:A196-A201 (1999)] mistakenly reported that a meta-analysis of epidemiology studies examining the relationship between exposure to environmental tobacco smoke (ETS) and human cancer was prepared for the review of ETS in consideration for listing in the National Toxicology Program (NTP) Report on Carcinogens. We would like to point out that the results...
متن کاملMaxSAT-Based MCS Enumeration
Enumeration of Minimal Correction Sets (MCS) finds a wide range of practical applications, including the identification of Minimal Unsatisfiable Subsets (MUS) used in verifying the complex control logic of microprocessor designs (e.g. in the CEGAR loop of Reveal [1,2]). Current state of the art MCS enumeration exploits core-guided MaxSAT algorithms, namely the so-called MSU3 [15] MaxSAT algorit...
متن کاملMCS: a sensitive issue.
Dianne Wiganowsky heard an unusual noise outside her house in Cheyenne, Wyoming, in September 1992, so she went to look out her screen door. She did n t expect the potent stream of lawn c i that struck her in the face, n cou shL know that, at that me r alth would begin to din th point that most of her time is svrlnitoring pain. What hit Wigan sky was a strong mix of active agricultural organoph...
متن کاملSource for MCS Facts
Another Look at Bovine Growth Hormone A Focus article, "Extra Ingredients: Hormones in Food," in the August issue of EHP (102:632-635), included a brief but well-researched and generally accurate account of the debate over recombinant bovine growth hormone (rbGH). But, in quoting Consumers Union's Jean Halloran, your report unduly emphasized one narrow technical issue and left an erroneous impr...
متن کاملLiteral-Based MCS Extraction
Given an over-constrained system, a Maximal Satisfiable Subset (MSS) denotes a maximal set of constraints that are consistent. A Minimal Correction Subset (MCS, or co-MSS) is the complement of an MSS. MSSes/MCSes find a growing range of practical applications, including optimization, configuration and diagnosis. A number of MCS extraction algorithms have been proposed in recent years, enabling ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Contexts
سال: 2005
ISSN: 1536-5042,1537-6052
DOI: 10.1525/ctx.2005.4.4.70